Bernardo Gut's Documents

Bernardo Gut's Documents

Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005

Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005
Read more
Hacia Una Enseñanza Eficaz

Hacia Una Enseñanza Eficaz
Read more
NA PRAIA

NA PRAIA
Read more
Argumentación científica y objetividad

Argumentación científica y objetividad
Read more
Natura, persona, liberta. L'antropologia di Massimo il Confessore (Maximus the Confessor)

Natura, persona, liberta. L'antropologia di Massimo il Confessore (Maximus the Confessor)
Read more
Engenharia de Controle Moderno, 3a Edição

Engenharia de Controle Moderno, 3a Edição
Read more
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
Read more
Bioestadistica: una perspectiva bayesiana

Bioestadistica: una perspectiva bayesiana
Read more
Formal Methods for the Design of Real-Time Systems, SFM-RT 2004

Formal Methods for the Design of Real-Time Systems, SFM-RT 2004
Read more
Petrarch, Laura, and the Triumphs

Petrarch, Laura, and the Triumphs
Read more
Livro Do Desassossego

Livro Do Desassossego
Read more
Formal Methods for Performance Evaluation, 7 school, SFM 2007

Formal Methods for Performance Evaluation, 7 school, SFM 2007
Read more
Formal Methods for Software Architectures, 3 school, SFM 2003

Formal Methods for Software Architectures, 3 school, SFM 2003
Read more
Global Administrative Law and EU Administrative Law: Relationships, Legal Issues and Comparison

Global Administrative Law and EU Administrative Law: Relationships, Legal Issues and Comparison
Read more
Non-Native Prosody: Phonetic Description and Teaching Practice (Trends in Linguistics: Studies and Monographs 186) (Trends in Linguistics. Studies and Monographs)

Non-Native Prosody: Phonetic Description and Teaching Practice (Trends in Linguistics: Studies and Monographs 186) (Trends in Linguistics. Studies and Monographs)
Read more
Bayesian theory

Bayesian theory
Read more
Vilém Flusser: An Introduction

Vilém Flusser: An Introduction
Read more
Bayesian theory

Bayesian theory
Read more
Bayesian Theory

Bayesian Theory
Read more
Fish Osmoregulation

Fish Osmoregulation
Read more
A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design
Read more
Formal methods for web services advanced lectures, 9, 2009, Bertinoro

Formal methods for web services advanced lectures, 9, 2009, Bertinoro
Read more
Bayesian Theory

Bayesian Theory
Read more
Issues in Bioinvasion Science: EEI 2003: a Contribution to the Knowledge on Invasive Alien Species

Issues in Bioinvasion Science: EEI 2003: a Contribution to the Knowledge on Invasive Alien Species
Read more
Pensar el pasado

Pensar el pasado
Read more
A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design
Read more
Piecewise-smooth Dynamical Systems: Theory and Applications (Applied Mathematical Sciences)

Piecewise-smooth Dynamical Systems: Theory and Applications (Applied Mathematical Sciences)
Read more
Discontinuous Galerkin Methods: Theory, Computation and Applications

Discontinuous Galerkin Methods: Theory, Computation and Applications
Read more
Multilingual Information Access for Text, Speech and Images: 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17,

Multilingual Information Access for Text, Speech and Images: 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17,
Read more
Discontinuous Galerkin Methods: Theory, Compuration and Applications

Discontinuous Galerkin Methods: Theory, Compuration and Applications
Read more